2

Analytic tableaux for default logics

Year:
1996
Language:
english
File:
PDF, 830 KB
english, 1996
3

Tableau-based characterization and theorem proving for default logic

Year:
1994
Language:
english
File:
PDF, 1.13 MB
english, 1994